Modular Verification of Open Features Through Three-Valued Model Checking
Harry C. Li Brown University, USA

Source URL: web.cs.wpi.edu

• Logic
• Mathematical logic
• Theoretical computer science
• Boolean algebra
• Logic in computer science
• Formal methods
• Classical logic
• Formal verification
• Model checking
• Modal logic
• Propositional calculus
• Temporal logic

Lightweight Semantics for Automating the Invocation of Web APIs Maria Maleshkova, Carlos Pedrinaci, Ning Li, Jacek Kopecky, John Domingue Knowledge Media Institute (KMi), The Open University {m.maleshkova, c.pedrinaci, n

Source URL: sweet.kmi.open.ac.uk

• Web services
• Computing
• World Wide Web
• Application programming interface
• Web API
• Web Services Description Language
• Representational state transfer
• Web Application Description Language
• IBM API Management
• Overview of RESTful API Description Languages

EffectivePage 1 of 3 Job Related Course Registration Form: Tuition Waiver for University of Chicago Staff Employees

Source URL: humanresources.uchicago.edu

Managing Power Consumption in Networks on Chips Tajana Simunic Stephen Boyd HP Labs & Stanford University

Source URL: seelab.ucsd.edu

• Computer hardware
• Electromagnetism
• Electronics
• Energy conservation
• Microprocessors
• Electronic design automation
• Electric power
• Computers and the environment
• Power management
• Network on a chip
• Open Core Protocol
• Intel Core

IRUS-UK: standardised institutional repository usage statistics John Salter, White Rose University Consortium, on behalf of IRUS-UK and COUNTER Panel 5: Usage Statistics Open Repositories 2016, Dublin, 16 June

Source URL: irus.mimas.ac.uk

• Software
• Free software
• Computing
• Open access
• Mozilla
• Communication
• Digital libraries
• Archival science
• Protocol for Metadata Harvesting
• Irus
• Institutional repository
• Gecko

Open Research Online The Open University’s repository of research publications and other research outputs How effective are on-farm conservation land management strategies for preserving ecosystem

Source URL: oro.open.ac.uk

• Natural environment
• Biology
• Agriculture
• Sustainable agriculture
• Agronomy
• Agricultural soil science
• Biodiversity
• Organic farming
• Ecosystem services
• Ecoagriculture
• Conservation biology
• Agricultural biodiversity

New degrees in Classical Studies at the Open University Classical Studies has been part of the Arts Faculty since the first days of the Open University. The department has been steadily growing ever since, now standing a

Source URL: www.royalholloway.ac.uk

• Education
• Modularity
• Classics
• Humanities
• Postgraduate education
• Academic degree
• Graduate school
• Honours degree
• Open University
• Roman Empire
• Bachelor of Arts
• Faculty of Arts and Social Sciences
• National University of Singapore

OPEN ACCESS AND THE HUMANITIES If you work in a university, you are almost certain to have heard the term ‘open access’ in the past couple of years. You may also have heard either that it is the utopian answer to

Source URL: eprints.lincoln.ac.uk

• Open content
• Copyleft
• Public sphere
• Publishing
• Free culture movement
• Public copyright licenses
• Book publishing
• Open access monograph
• Computer law
• Open access
• Share-alike
• Creative Commons license

Colgate University Libraries Guidelines for Preparing Student Works for Submission to Digital Commons @ Colgate Student works chosen for the site, with the exception of selected projects with ongoing research, will be ac

Source URL: commons.colgate.edu

• Academia
• Publishing
• Public sphere
• Digital libraries
• Copyleft
• Academic publishing
• Digital Commons
• Colgate University
• Open access

Towards an Open Building Information Model Server Report on the progress of an open IFC framework Jakob Beetz, Ruben de Laat1, Léon van Berlo1 and Pim van den Helm1 Eindhoven University of Technology 2 TNO Built Environ

Source URL: bimserver.org

• Software
• Computing
• Building information modeling
• Unified Modeling Language
• ISO standards
• Java platform
• Integrated development environments
• Industry Foundation Classes
• XML Metadata Interchange
• Eclipse
• Metamodeling
• Data model